| Run with best incumbent | example_output_1 | Cutoff | 5 |
| # Train instances | 10 | Walltime budget | 50 |
| # Test instances | 10 | Runcount budget | inf |
| # Parameters | 26 | CPU budget | inf |
| Deterministic | False |
| Default | Incumbent | |
|---|---|---|
| sp-clause-activity-inc | 1 | 1.03619 |
| sp-clause-decay | 1.4 | 1.80047 |
| sp-clause-del-heur | 2 | 0 |
| sp-first-restart | 100 | 503 |
| sp-learned-clause-sort-heur | 0 | 5 |
| sp-learned-clauses-inc | 1.3 | 1.44637 |
| sp-learned-size-factor | 0.4 | 0.212442 |
| sp-orig-clause-sort-heur | 0 | 2 |
| sp-phase-dec-heur | 5 | 4 |
| sp-rand-var-dec-freq | 0.001 | 0.005 |
| sp-resolution | 1 | 0 |
| sp-restart-inc | 1.5 | 1.44486 |
| sp-update-dec-queue | 1 | 1 |
| sp-use-pure-literal-rule | 1 | 0 |
| sp-var-activity-inc | 1 | 1.38284 |
| sp-var-dec-heur | 0 | 8 |
| sp-variable-decay | 1.4 | 1.39724 |
| sp-max-res-lit-inc | 1 | None |
| sp-max-res-runs | 4 | None |
| sp-rand-phase-dec-freq | 0.001 | 0.0001 |
| sp-rand-var-dec-scaling | 1 | 0.370268 |
| sp-res-cutoff-cls | 8 | None |
| sp-res-cutoff-lits | 400 | None |
| sp-res-order-heur | 0 | None |
| sp-rand-phase-scaling | 1 | 1.04195 |
| Default | Incumbent | |||
|---|---|---|---|---|
| Train | Test | Train | Test | |
| PAR10 | 0.0337142857143 | 0.0296 | 0.01625 | 0.0196 |
| PAR1 | 0.0337142857143 | 0.0296 | 0.01625 | 0.0196 |
| Timeouts | 0/14 | 0/10 | 0/48 | 0/10 |
